function page_nav(forms,num){
    document.getElementById('pageNum').value=num;
    forms.submit();
}
